TU Berlin

Modelle und Theorie Verteilter SystemePublikationen

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Publikationen

A formal semantics for protocol narrations
Zitatschlüssel DBLP:journals/tcs/BriaisN07
Autor Sébastien Briais and Uwe Nestmann
Seiten 484-511
Jahr 2007
Journal Theor. Comput. Sci.
Jahrgang 389
Nummer 3
Link zur Publikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe